Modeling Composition in Dynamic Programming Environments with Model Transformations
نویسندگان
چکیده
Although dynamic programming environments are in widespread use, only basic runtime composition mechanisms are covered by today’s modeling languages. Thus, it is common in real-world development projects that dynamic compositions are not modeled formally and are consequently hard to use, for example together with the model-driven paradigm where formal models are essential to generate source code. In this paper, we propose an approach based on model transformations between the valid structural and behavioral runtime states that a system can have. We use UML 2.0 class and activity diagrams for specifying the structural and behavioral model states and provide a UML 2.0 meta-model extension for describing the valid model transformations between corresponding model states.
منابع مشابه
Robust inter and intra-cell layouts design model dealing with stochastic dynamic problems
In this paper, a novel quadratic assignment-based mathematical model is developed for concurrent design of robust inter and intra-cell layouts in dynamic stochastic environments of manufacturing systems. In the proposed model, in addition to considering time value of money, the product demands are presumed to be dependent normally distributed random variables with known expectation, variance, a...
متن کاملMeasuring a Dynamic Efficiency Based on MONLP Model under DEA Control
Data envelopment analysis (DEA) is a common technique in measuring the relative efficiency of a set of decision making units (DMUs) with multiple inputs and multiple outputs. Standard DEA models are quite limited models, in the sense that they do not consider a DMU at different times. To resolve this problem, DEA models with dynamic structures have been proposed.In a recent pape...
متن کاملAn efficiency measurement model in fuzzy environments, using data envelopment analysis
Data Envelopment Analysis (DEA) is a technique used to compare efficiency in various sectors such as hospitals, chain stores, and dealerships. It represents a set of linear programming techniques and uses deter-ministic data (inputs and outputs), in stable conditions. The DEA technique cannot be used when there is data with indeterministic nature, or when there is an environment with dynamic co...
متن کاملComposing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules
Data-flow transformations used in optimizing compilers are also useful in other programming tools such as code generators, aspect weavers, domainspecific optimizers, and refactoring tools. These applications require source-tosource transformations rather than transformations on a low-level intermediate representation. In this paper we describe the composition of source-to-source data-flow trans...
متن کاملEffects of Interruptible Load on Decision Making of a Distribution Company in Competitive Environments
The main goal of this paper is to present a new day-ahead energy acquisition model for a distribution company (Disco) in a competitive electricity market environment with Interruptible Load (IL). The work formulates the Disco energy acquisition model as a bi-level optimization problem with some of real issues, and then studies and designs a Genetic Algorithm (GA) of this optimization problem to...
متن کامل